Non-idempotent left symmetric left distributive groupoids
نویسنده
چکیده
Subdirectly irreducible non-idempotent groupoids satisfying x · xy = y and x · yz = xy · xz are studied.
منابع مشابه
On Varieties of Left Distributive Left Idempotent Groupoids
We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity x ≈ x decomposes as the direct product of its largest idempotent factor and a ...
متن کاملSelfdistributive Groupoids. Part A2: Non-idempotent Left Distributive Left Quasigroups
The present paper is a comprehensive survey of non-indempotent left distributive left quasigroups. It contains several new results about free groupoids and normal forms of terms in certain subvarieties. It is a continuation of a series of papers on selfdistributive groupoids, started by [KepN,03].
متن کاملOn reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally Ω-algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left k-step reductive Ω-algebras, and of right n-step reductive Ω-algebras, are indep...
متن کاملSubdirectly Irreducible Non-idempotent Left Distributive Left Quasigroups
Left distributive left quasigroups are binary algebras with unique left division satisfying the left distributive identity x(yz) ≈ (xy)(xz). In other words, binary algebras where all left translations are automorphisms. We provide a description and examples of non-idempotent subdirectly irreducible algebras in this class.
متن کاملEnumerating Left Distributive Groupoids
Groupoids satisfying the equation x(yz) = (xy)(xz) are called left distributive, or LD-groupoids. We give an algorithm for their enumeration and prove several results on the collection of LD-groupoids extending a given monounary algebra.
متن کامل